Pointer aliasing - PDFSEARCH.IO - Document Search Engine

Pointer aliasing
Results: 29

#	Item
21	Effective Dynamic Detection of Alias Analysis Errors Jingyue Wu, Gang Hu, Yang Tang, Junfeng Yang Columbia University, United States {jingyue,ganghu,ty,junfeng}@cs.columbia.edu Add to Reading List Source URL: systems.cs.columbia.edu Language: English - Date: 2013-09-04 15:38:19 Data types Software bugs Primitive types Static program analysis Pointer Compiler construction Alias analysis Aliasing Memory safety Software engineering Computing Computer programming
22	Modern C Jens Gustedt INRIA, F RANCE IC UBE , S TRASBOURG , F RANCE E-mail address: jens gustedt inria fr Add to Reading List Source URL: icube-icps.unistra.fr Language: English - Date: 2015-02-10 03:53:07 C programming language Data types Cross-platform software Type theory Program analysis C Pointer Generic programming Aliasing Software engineering Computing Computer programming
23	Undefined Behavior: What Happened to My Code? Xi Wang Haogang Chen Alvin Cheung Zhihao Jia† Nickolai Zeldovich M. Frans Kaashoek MIT CSAIL † Tsinghua University Abstract Add to Reading List Source URL: people.csail.mit.edu Language: English Procedural programming languages C programming language C Standard Library Pointer C Undefined behavior Brainfuck Aliasing GNU Compiler Collection Computing Software C++
24	Undefined Behavior: What Happened to My Code?∗ Xi Wang Haogang Chen Alvin Cheung Zhihao Jia† Nickolai Zeldovich M. Frans Kaashoek MIT CSAIL † Tsinghua University Abstract Add to Reading List Source URL: people.csail.mit.edu Language: English Procedural programming languages C Standard Library Pointer Undefined behavior C Brainfuck Aliasing GNU Compiler Collection Printf format string Computing Software C++
25	Undefined Behavior: What Happened to My Code?∗ Xi Wang Haogang Chen Alvin Cheung Zhihao Jia† Nickolai Zeldovich M. Frans Kaashoek MIT CSAIL † Tsinghua University Abstract Add to Reading List Source URL: people.csail.mit.edu Language: English Procedural programming languages C Standard Library Pointer Undefined behavior C Brainfuck Aliasing GNU Compiler Collection Printf format string Computing Software C++
26	Extra ting Zing Models from C Sour e Code? Tomas Matousek and Filip Zavoral Charles University in Prague Department of Software Engineering Malostranske namesti 25, 11800 Prague, Cze h Republi Add to Reading List Source URL: tmd.havit.cz Language: English - Date: 2008-07-10 10:24:11 Data types Primitive types Compiler construction Pointer C Pascal Aliasing Linked list Array data type Computing Software engineering Programming language theory
27	Using ownership types to support library aliasing boundaries Luke Wagner Jaakko J¨arvi Bjarne Stroustrup Add to Reading List Source URL: people.dsv.su.se Language: English - Date: 2007-07-22 07:49:55 Data types Object-oriented programming C++ Concurrency control Threads Smart pointer Lock Reference Garbage collection Computing Software engineering Computer programming
28	Effective Typestate Verification in the Presence of Aliasing Stephen Fink∗ ∗ Eran Yahav∗ Nurit Dor† Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2006-07-26 21:44:02 Mathematics Data management Complexity classes NP Pointer analysis Pointer Abstraction Formal verification Shape analysis Theoretical computer science Static program analysis Applied mathematics
29	TYPE SAFETY IN THE LINUX KERNEL A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-04-27 02:12:51 Computing Data types Program analysis Type theory Pointer Aliasing Type safety Escape analysis Programming language Static program analysis Programming language theory Software engineering

UPDATE